Conversation
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Iryna Kulakova <52420926+IrynaKulakova@users.noreply.github.com>
|
Closing as I merged this instead #1549 |
There was a problem hiding this comment.
Pull request overview
This PR adds comprehensive installation documentation for integrating the GitHub MCP Server with Google's Antigravity IDE. The documentation addresses known issues with the official installation method and provides a recommended alternative approach.
Key Changes:
- New installation guide document covering remote server and Docker-based setup options
- Integration of Antigravity guide into the installation guides index
Reviewed changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.
| File | Description |
|---|---|
| docs/installation-guides/install-antigravity.md | Comprehensive installation guide for Antigravity IDE with configuration examples, troubleshooting, and setup verification steps |
| docs/installation-guides/README.md | Added Antigravity to the list of supported installation guides |
| 5. Click "View raw config" | ||
|
|
||
| This will open your `mcp_config.json` file at: | ||
| - **Windows**: `C:\Users\<USERNAME>\.gemini\antigravity\mcp_config.json` |
There was a problem hiding this comment.
The placeholder <USERNAME> should use a consistent format. Consider using %USERNAME% for Windows (environment variable style) or keeping it consistent with the Unix-style ~ placeholder used in the macOS/Linux path.
| - **Windows**: `C:\Users\<USERNAME>\.gemini\antigravity\mcp_config.json` | |
| - **Windows**: `C:\Users\%USERNAME%\.gemini\antigravity\mcp_config.json` |
| ## Differences from Other IDEs | ||
|
|
||
| - **Configuration key**: Antigravity uses `serverUrl` instead of `url` for HTTP servers | ||
| - **Config location**: `.gemini/antigravity/mcp_config.json` instead of `.cursor/mcp.json` |
There was a problem hiding this comment.
The config location comparison references .cursor/mcp.json, but this assumes readers are familiar with Cursor's configuration. Consider adding a brief context or reference to where this comparison is documented, or clarify that this is comparing to other IDE configurations.
| - **Config location**: `.gemini/antigravity/mcp_config.json` instead of `.cursor/mcp.json` | |
| - **Config location**: Antigravity uses `.gemini/antigravity/mcp_config.json` (Cursor uses `.cursor/mcp.json`) |
2 participants
This PR adds an installation guide for Antigravity.
Supersedes #1549 and is up to date with the main branch.
All credit for this work goes to @ManoloZocco